COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	circum[s85,jmc]		More ideas, see circum.tex[f83,jmc]
C00004 ENDMK
C⊗;
circum[s85,jmc]		More ideas, see circum.tex[f83,jmc]

material x ∧ present(x,s) ⊃ ab aspect1(x,s)
on(x,Table,s) ⊃ present(x,s)

This isn't quite right unless we change the notion of situation,
to be localized to the problem we are considering rather than
taking it as a snapshot of the state of the world.  Of course,
in considering the result of single events we already deviated
from the snapshot idea.

Perhaps instead of minimizing  ab,  we should minimize features of
the "problem" or the "circumstance".  A circumstance generalizes a
situation in that it isn't a snapshot in time.  Since it is what
the facts are about it doesn't change.